#ifndef _SYSCALL_H_
#define _SYSCALL_H_

#include <stdint.h>
#include <csp_shared_types.h>
//#define _SPU_SYSCALL_YIELD 1

typedef struct syscall_pointers{
	uint32_t  (*csp_pid)            (void);
	void      (*csp_exit_network)   (void);
	size_t    (*csp_code_size)      (void);
	void      (*csp_exit)           (int);
	int       (*csp_spe_id)         (void);
	ea_addr_t (*csp_shared_addr)    (void);
	void      (*csp_poison_channel) (ls_addr_t);

//	void      (*csp_yield)          (void);

} syscall_pointers_t;


#endif
